منابع مشابه
Contención de consultas con valores nulos usando el método CQC
Resumen. Este artículo presenta una extensión de nuestro método CQC destinada a comprobar la contención de dos consultas en el contexto de una BD relacional que puede contener valores nulos en los atributos de sus tuplas. Teniendo en cuenta que todos los SGBDs admiten el uso de valores nulos y que las bases de datos “reales” contienen valores nulos, comprobar la contención de consultas en este ...
متن کاملTécnicas Deductivas para el Análisis Sintáctico con Corrección de Errores
We introduce error-correcting parsing schemata, which allow us to define error-correcting parsers in a high-level, declarative way. This formalism can be used to describe error-correcting parsers in a simple and uniform manner, and provides a formal basis allowing to prove their correctness and other properties. We also show how these schemata can be used to obtain different implementations of ...
متن کاملEspecificación de requerimientos con Áncora y el estándar 830
Resumen. Una de las fases iniciales en la ingeniería de software es la obtención de requerimientos. Éstos son elementos medulares en el desarrollo de software, por lo cual es de gran importancia el llevar una metodología para su obtención y análisis; ya que de lo contrario, la lista de requerimientos puede ser tan errónea que causaría el fracaso total del proyecto. Se destaca la importancia e i...
متن کاملComprendiendo el Universo de Discurso Futuro con Escenarios
Resumen. La definición de requisitos es meramente el producto final de la fase de requisitos, pero es el punto de partida basamental para el diseño del software y para la tarea de seguimiento de requisitos, y además en muchos casos es un documento contractual con los clientes. Para lograr una correcta definición, no sólo es necesario comprender el Universo de Discurso presente sino también comp...
متن کاملEl Paradigma De Elección Con Barrera: Evaluación Del Haloperidol Con Ocho Alternativas De Respuestas Y Dos Requisitos De Traslado
Research has shown that the same doses of a dopamine antagonist that cause de suppression of lever pressing for a preferred meal, facilitate the consumption of another non-preferred meal freely available in the choice situation. This finding suggests that dopamine antagonists change the organism’s preferences in favor of alternatives that require less physical effort. These ideas were assessed ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mester
سال: 1973
ISSN: 0160-2764
DOI: 10.5070/m341013547